int foobar() { return 1; }